Skip to content

Remove workaround in devcontainer.json#19549

Merged
T-Gro merged 1 commit intodotnet:mainfrom
Martin521:devcontainer-remove-workaround
Apr 28, 2026
Merged

Remove workaround in devcontainer.json#19549
T-Gro merged 1 commit intodotnet:mainfrom
Martin521:devcontainer-remove-workaround

Conversation

@Martin521
Copy link
Copy Markdown
Contributor

Description

In #18847, a workaround was introduced that dealt with two problems

  1. The use of new (non-public) dotnet versions in the repo
  2. The difference in dotnet installations provided by the container image and expected by the sdk / ionide.

The second part is no longer necessary, therefore the ugly copy operations should be removed.

Checklist

  • Test cases added
  • Performance benchmarks added in case of performance changes
  • Release notes should not be necessary

@github-actions
Copy link
Copy Markdown
Contributor

github-actions Bot commented Apr 3, 2026

✅ No release notes required

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Archived in project

Development

Successfully merging this pull request may close these issues.

3 participants